bin_PROGRAMS=console
console_SOURCES=console.cc

INCLUDES=-I../../../lib/cudd/include

console_LDADD=../../../lib/cudd/cudd/libcudd.a \
../../../lib/cudd/mtr/libmtr.a \
../../../lib/cudd/epd/libepd.a \
../../../lib/cudd/st/libst.a \
../../../lib/cudd/util/libutil.a